14f581f166b87afd7ce73fa77f2495d1262ce1bd,util/src/com/intellij/util/io/RandomAccessDataFile.java,RandomAccessDataFile,put,#number#number[]#number#number#,37

Before Change


      try {
        ourPool.flushPagesInRange(this, addr, len);
        final FileChannel channel = getChannel();
        channel.write(ByteBuffer.wrap(bytes, off, len), addr);
        releaseChannel();
      }
      catch (IOException e) {

After Change


        ourPool.flushPagesInRange(this, addr, len);
        final RandomAccessFile file = getFile();
        file.seek(addr);
        file.write(bytes, off, len);
        releaseFile();
      }
      catch (IOException e) {